A Mathematical Introduction to Logic Learning

#mathematical_logic

Chapter 1 Sentential Logic
Chapter 2 First-Order Logic
Effectiveness and Computability
Model of Theories